ID |
Paper title |
Author | |
4 |
Incomplete Knowledge In Hybrid Probabilistic Logic Programs |
Emad Saad | |
5 |
Towards Top-k Query Answering In Description Logics: The Case Of DL-Lite+ |
Umberto Straccia | |
8 |
Reasoning About An Agent Based On Its Revision History With Missing Inputs |
Alexander Nittka | |
11 |
A Fault-Tolerant Default Logic |
Zhangang Lin, Yue Ma, Zuoquan Lin | |
12 |
Distance-Based Repairs of Databases |
Ofer Arieli, Marc Denecker, Maurice Bruynooghe | |
14 |
Deciding Extensions Of The Theory Of Arrays By Integrating Decision Procedures and Instantiation Str |
Silvio Ghilardi, Enrica Nicolini, Silvio Ranise, Daniele Zucchelli | |
22 |
On The Semantics Of Logic Programs With Preferences |
Sergio Greco, Irina Trubitsyna, Ester Zumpano | |
31 |
Model Representation Over Finite and Infinite Signatures |
Christian Fermueller, Reinhard Pichler | |
32 |
Analytic Tableau Calculi For KLM Rational Logic R |
Gian Luca Pozzato, Laura Giordano, Valentina Gliozzi, Nicola Olivetti | |
36 |
A Modularity Approach For A Fragment Of ALC |
Ivan José Varzinczak, Andreas Herzig | |
39 |
Description Logic Actions With General TBoxes: A Pragmatic Approach |
Hongkai Liu, Carsten Lutz, Maja Milicic, Frank Wolter | |
42 |
A STIT-extension Of ATL, With Applications In The Epistemic And Deontic Domains |
Jan Broersen, Andreas Herzig, Nicolas Troquard | |
46 |
Knowledge Base Revision In Description Logics |
Qi Guilin, Weiru Liu, David Bell | |
48 |
On The Issue Of Reinstatement In Argumentation |
Martin Caminada | |
57 |
Automatic Deductive Synthesis Of Lisp Programs In The System ALISA |
Yulia Korukhova | |
58 |
Representing Action Domains With Numeric-Valued Fluents |
Esra Erdem, Alfredo Gabaldon | |
60 |
Fuzzy Answer Set Programming |
Davy Van Nieuwenborgh, Martine De Cock, Dirk Vermeir | |
62 |
Anti-Prenex And Prenex For Modal Logics |
Claudia Nalon, Clare Dixon | |
63 |
Irrelevant Updates Of Nonmonotonic Knowledge Bases |
Jan Sefranek | |
64 |
Hierarchical Argumentation |
Sanjay Modgil | |
68 |
On The Logic And Computation Of Partial Equilibrium Models |
Pedro Cabalar, Sergei Odintsov, David Pearce, Agustin Valverde | |
70 |
Introducing The Attempt In A Modal Logic Of Intentional Action |
Lorini Emiliano, Andreas Herzig, Cristiano Castelfranchi | |
72 |
Decidable Fragments Of Logic Programming With Value Invention |
Francesco Calimeri, Giovambattista Ianni, Susanna Cozza | |
75 |
A Bottom-up Method For The Deterministic Horn Fragment Of The Description Logic ALC |
Linh Nguyen | |
78 |
Ambiguity Propagating Defeasible Logic And The Well-Founded Semantics |
Frederick Maier, Donald Nute | |
85 |
Comparing Action Descriptions Based On Semantic Preferences |
Thomas Eiter, Esra Erdem, Michael Fink, Jan Senko | |
86 |
Representing Causal Information About A Probabilistic Process |
Joost Vennekens, Marc Denecker, Maurice Bruynooghe | |
87 |
On Arbitrary Selection Strategies For Basic Superposition |
Vladimir Aleksic, Anatoli Degtyarev | |
89 |
An Event-Condition-Action Logic Programming Language |
Federico Banti, Jose Julio Alferes, Antonio Brogi | |
90 |
Natural Deduction Calculus For Linear-Time Temporal Logic |
Alexander Bolotov, Artie Basukoski, Oleg Grigoryev, Vasilyi Shangin | |
96 |
Modal Logics Of Negotiation And Preference |
Ulle Endriss, Eric Pacuit | |
103 |
On Herbrand's Theorem For Intuitionistic Logic |
Boris Konev, Alexander Lyaletski | |
104 |
A Formal Analysis Of KGP Agents |
Fariba Sadri, Francesca Toni | |
108 |
Whatever You Say |
Luke Hunsberger |
ID |
Paper title |
Author | |
13 |
An Implementation For Recognizing Rule Replacements in Non-Ground Answer-Set Programs |
Stefan Woltran, Thomas Eiter, Patrick Traxler | |
18 |
Automated Reasoning About Metric And Topology |
Ullrich Hustadt, Dmitry Tishkovsky, Frank Wolter, Michael Zakharyaschev | |
27 |
tarfa: Tableaux And Resolution For Finite Abduction |
Fernando Soler, Angel Nepomuceno | |
41 |
A Tool To Facilitate Agent Deliberation |
Daniel Bryant, Paul Krause, Sotiris Moschoyiannis | |
47 |
A Logic-Based Tool For Semantic Information Extraction |
Massimo Ruffolo, Marco Manna, Lorenzo Gallucci, Nicola Leone, Domenico Sacca | |
77 |
An Implementation Of A Lightweight Argumentation Engine for Agent Applications |
Daniel Bryant, Paul Krause | |
79 |
A Slicing Tool For Lazy Functional Logic Programs |
Claudio Ochoa, Josep Silva, German Vidal | |
83 |
ccT: A Correspondence-Checking Tool For Logic Programs Under The Answer-Set Semantics |
Johannes Oetsch, Martina Seidl, Hans Tompits, Stefan Woltran | |
84 |
April - An Inductive Logic Programming System |
Nuno Fonseca, Fernando Silva, Rui Camacho | |
101 |
The QBFEVAL Web Portal |
Massimo Narizzano, Luca Pulina, Armando Tacchella | |
102 |
OPTSAT: A Tool For Solving SAT Related Optimization Problems |
Enrico Giunchiglia, Marco Maratea | |
106 |
A Tool For Answering Queries On Action Descriptions |
Thomas Eiter, Michael Fink, Jan Senko |